Hypothetical-Reasoning and Radical Non-constituent Coordination in Categorial Logic
نویسنده
چکیده
The paper investigates the connection between non-constituent coordination, as implemented in categorial grammar by means of a polymorphic type-assignment to lexical conjunctions, and hypothetical reasoning in Categorial Logics. A way of extending the logic is suggested, so that coordination can be applied to types depending on undischarged assumptions. By a certain \resource manipulation" of assumptions (of hypothetical reasoning), a late-discharge is facilitated, leading to what is referred to as the radical non-constituent coordination, wherby only basic types (and not functional types of any kind) are coordinated. 1991 Computing Reviews Classi cation System: F.4.1, F.4.2, J.5
منابع مشابه
Generic rules and non-constituent coordination
We present a metagrammatical formalism, generic rules, to give a default interpretation to grammar rules. Our formalism introduces a process of dynamic binding interfacing the level of pure grammatical knowledge representation and the parsing level. We present an approach to non-constituent coordination within categorial grammars, and reformulate it as a generic rule. This reformulation is cont...
متن کاملCoordinate Ellipsis and Apparent Non-Constituent Coordination
Within the tradition of Categorial Grammar, so-called ‘non-constituent’ coordination (‘argument cluster’ coordination and ‘right node raising’) has been analyzed in terms of the coordination of nonstandard constituents produced by the operations of type raising and composition. This highly successful research has expanded the domain of data that modern analyses of coordination must take into ac...
متن کاملOn the Direction of Bring Feature Logics with Concatenation Logics
A dual-bring of a feature-logic and a concatenation-logic is proposed, in which syntactic categorial types \live in" feature terms, in contrast to current bring, in which feature-terms \live in" types. The dual-bring contains also arrow-introduction rules for hypothetical reasoning. It is used to explain some \privileged features" in HPSG and their non-uniication manipulation.
متن کاملOn the Direction of Fibring Feature Logics with Concatenation Logics
A dualbring of a feature-logic and a concatenation-logic is proposed, in which syntactic categorial types \live in" feature terms, in contrast to current bring, in which feature-terms \live in" types. The dualbring contains also arrow-introduction rules for hypothetical reasoning. It is used to explain some \privileged features" in HPSG and their non-uni cation manipulation. 1991 Computing Revi...
متن کاملA Hypothetical Reasoning Algorithm for Linguistic Analysis
The Lambek calculus, an intuitionistic fragment of Linear Logic, has recently been rediscovered by linguists. Due to its built-in hypothetical reasoning mechanism, it allows for describing a certain range of those phenomena in natural language syntax which involve incomplete subphrases or moved constituents. Previously, it seemed unclear how to extent traditional parsing techniques in order to ...
متن کامل